#ifndef NORMALIZED_UTILS_H_
#define NORMALIZED_UTILS_H_
#include "normalized_datatypes.h"

int get_normalized_cid(unsigned char* cname);
int put_normalized_cname(unsigned char* cname);
int get_normalized_rid(unsigned char* rname);
int put_normalized_rname(unsigned char* rname);

NormalizedConcept* get_exists_restriction(int r, int f);

void put_exists_restriction(int r, int f, NormalizedConcept* c);

NormalizedConcept* create_normalized_exists(NormalizedRole* r, NormalizedConcept* f);
/*
NormalizedConcept* get_normalized_atomic_concept(char* name, enum axiom_side side);

void add_to_normalized_atomic_concepts(NormalizedConcept* c, enum axiom_side side);

NormalizedConcept* get_generated_atomic_concept(NormalizedConcept* normalized_filler, enum axiom_side side);
*/
#endif
